home *** CD-ROM | disk | FTP | other *** search
/ Sky at Night 2007 June / SAN CD 6-2007 CD-ROM 25.iso / pc / Software / AstroGrav_Win / Java / jre1.6.0 / lib / rt.jar / javax / swing / JTextPane.class (.txt) < prev    next >
Encoding:
Java Class File  |  2006-11-29  |  5.1 KB  |  205 lines
  1. package javax.swing;
  2.  
  3. import java.awt.Component;
  4. import java.io.IOException;
  5. import java.io.ObjectOutputStream;
  6. import javax.swing.text.AbstractDocument;
  7. import javax.swing.text.AttributeSet;
  8. import javax.swing.text.BadLocationException;
  9. import javax.swing.text.Caret;
  10. import javax.swing.text.Document;
  11. import javax.swing.text.EditorKit;
  12. import javax.swing.text.Element;
  13. import javax.swing.text.MutableAttributeSet;
  14. import javax.swing.text.Style;
  15. import javax.swing.text.StyleConstants;
  16. import javax.swing.text.StyledDocument;
  17. import javax.swing.text.StyledEditorKit;
  18.  
  19. public class JTextPane extends JEditorPane {
  20.    private static final String uiClassID = "TextPaneUI";
  21.  
  22.    public JTextPane() {
  23.       EditorKit var1 = this.createDefaultEditorKit();
  24.       String var2 = var1.getContentType();
  25.       if (var2 != null && getEditorKitClassNameForContentType(var2) == defaultEditorKitMap.get(var2)) {
  26.          this.setEditorKitForContentType(var2, var1);
  27.       }
  28.  
  29.       this.setEditorKit(var1);
  30.    }
  31.  
  32.    public JTextPane(StyledDocument var1) {
  33.       this();
  34.       this.setStyledDocument(var1);
  35.    }
  36.  
  37.    public String getUIClassID() {
  38.       return "TextPaneUI";
  39.    }
  40.  
  41.    public void setDocument(Document var1) {
  42.       if (var1 instanceof StyledDocument) {
  43.          super.setDocument(var1);
  44.       } else {
  45.          throw new IllegalArgumentException("Model must be StyledDocument");
  46.       }
  47.    }
  48.  
  49.    public void setStyledDocument(StyledDocument var1) {
  50.       super.setDocument(var1);
  51.    }
  52.  
  53.    public StyledDocument getStyledDocument() {
  54.       return (StyledDocument)this.getDocument();
  55.    }
  56.  
  57.    public void replaceSelection(String var1) {
  58.       this.replaceSelection(var1, true);
  59.    }
  60.  
  61.    private void replaceSelection(String var1, boolean var2) {
  62.       if (var2 && !this.isEditable()) {
  63.          UIManager.getLookAndFeel().provideErrorFeedback(this);
  64.       } else {
  65.          StyledDocument var3 = this.getStyledDocument();
  66.          if (var3 != null) {
  67.             try {
  68.                Caret var4 = this.getCaret();
  69.                int var5 = Math.min(var4.getDot(), var4.getMark());
  70.                int var6 = Math.max(var4.getDot(), var4.getMark());
  71.                AttributeSet var7 = this.getInputAttributes().copyAttributes();
  72.                if (var3 instanceof AbstractDocument) {
  73.                   ((AbstractDocument)var3).replace(var5, var6 - var5, var1, var7);
  74.                } else {
  75.                   if (var5 != var6) {
  76.                      var3.remove(var5, var6 - var5);
  77.                   }
  78.  
  79.                   if (var1 != null && var1.length() > 0) {
  80.                      var3.insertString(var5, var1, var7);
  81.                   }
  82.                }
  83.             } catch (BadLocationException var8) {
  84.                UIManager.getLookAndFeel().provideErrorFeedback(this);
  85.             }
  86.          }
  87.  
  88.       }
  89.    }
  90.  
  91.    public void insertComponent(Component var1) {
  92.       MutableAttributeSet var2 = this.getInputAttributes();
  93.       var2.removeAttributes(var2);
  94.       StyleConstants.setComponent(var2, var1);
  95.       this.replaceSelection(" ", false);
  96.       var2.removeAttributes(var2);
  97.    }
  98.  
  99.    public void insertIcon(Icon var1) {
  100.       MutableAttributeSet var2 = this.getInputAttributes();
  101.       var2.removeAttributes(var2);
  102.       StyleConstants.setIcon(var2, var1);
  103.       this.replaceSelection(" ", false);
  104.       var2.removeAttributes(var2);
  105.    }
  106.  
  107.    public Style addStyle(String var1, Style var2) {
  108.       StyledDocument var3 = this.getStyledDocument();
  109.       return var3.addStyle(var1, var2);
  110.    }
  111.  
  112.    public void removeStyle(String var1) {
  113.       StyledDocument var2 = this.getStyledDocument();
  114.       var2.removeStyle(var1);
  115.    }
  116.  
  117.    public Style getStyle(String var1) {
  118.       StyledDocument var2 = this.getStyledDocument();
  119.       return var2.getStyle(var1);
  120.    }
  121.  
  122.    public void setLogicalStyle(Style var1) {
  123.       StyledDocument var2 = this.getStyledDocument();
  124.       var2.setLogicalStyle(this.getCaretPosition(), var1);
  125.    }
  126.  
  127.    public Style getLogicalStyle() {
  128.       StyledDocument var1 = this.getStyledDocument();
  129.       return var1.getLogicalStyle(this.getCaretPosition());
  130.    }
  131.  
  132.    public AttributeSet getCharacterAttributes() {
  133.       StyledDocument var1 = this.getStyledDocument();
  134.       Element var2 = var1.getCharacterElement(this.getCaretPosition());
  135.       return var2 != null ? var2.getAttributes() : null;
  136.    }
  137.  
  138.    public void setCharacterAttributes(AttributeSet var1, boolean var2) {
  139.       int var3 = this.getSelectionStart();
  140.       int var4 = this.getSelectionEnd();
  141.       if (var3 != var4) {
  142.          StyledDocument var5 = this.getStyledDocument();
  143.          var5.setCharacterAttributes(var3, var4 - var3, var1, var2);
  144.       } else {
  145.          MutableAttributeSet var6 = this.getInputAttributes();
  146.          if (var2) {
  147.             var6.removeAttributes(var6);
  148.          }
  149.  
  150.          var6.addAttributes(var1);
  151.       }
  152.  
  153.    }
  154.  
  155.    public AttributeSet getParagraphAttributes() {
  156.       StyledDocument var1 = this.getStyledDocument();
  157.       Element var2 = var1.getParagraphElement(this.getCaretPosition());
  158.       return var2 != null ? var2.getAttributes() : null;
  159.    }
  160.  
  161.    public void setParagraphAttributes(AttributeSet var1, boolean var2) {
  162.       int var3 = this.getSelectionStart();
  163.       int var4 = this.getSelectionEnd();
  164.       StyledDocument var5 = this.getStyledDocument();
  165.       var5.setParagraphAttributes(var3, var4 - var3, var1, var2);
  166.    }
  167.  
  168.    public MutableAttributeSet getInputAttributes() {
  169.       return this.getStyledEditorKit().getInputAttributes();
  170.    }
  171.  
  172.    protected final StyledEditorKit getStyledEditorKit() {
  173.       return (StyledEditorKit)this.getEditorKit();
  174.    }
  175.  
  176.    private void writeObject(ObjectOutputStream var1) throws IOException {
  177.       var1.defaultWriteObject();
  178.       if (this.getUIClassID().equals("TextPaneUI")) {
  179.          byte var2 = JComponent.getWriteObjCounter(this);
  180.          --var2;
  181.          JComponent.setWriteObjCounter(this, var2);
  182.          if (var2 == 0 && this.ui != null) {
  183.             this.ui.installUI(this);
  184.          }
  185.       }
  186.  
  187.    }
  188.  
  189.    protected EditorKit createDefaultEditorKit() {
  190.       return new StyledEditorKit();
  191.    }
  192.  
  193.    public final void setEditorKit(EditorKit var1) {
  194.       if (var1 instanceof StyledEditorKit) {
  195.          super.setEditorKit(var1);
  196.       } else {
  197.          throw new IllegalArgumentException("Must be StyledEditorKit");
  198.       }
  199.    }
  200.  
  201.    protected String paramString() {
  202.       return super.paramString();
  203.    }
  204. }
  205.